Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
461	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
462	Randomized Algorithms for Solving Large Scale Nonlinear Least Squares Problems by Farbod Roosta-Khorasani Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-01-22 15:04:55 Probabilistic complexity theory Numerical analysis Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Monte Carlo method Pi Stochastic Randomized algorithm
463	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
464	Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi Add to Reading List Source URL: stephenbach.net Language: English - Date: 2014-11-19 16:25:18 Fuzzy logic Quantification Logic in computer science Artificial intelligence Non-classical logic Probabilistic soft logic Fuzzy set Quantifier Fuzzy control system FO Universal quantification PSL
465	Divide et Impera: Metareasoning for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Information science Knowledge engineering Ontology Technical communication Semantic reasoner Description logic Web Ontology Language Inference Upper ontology
466	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team EXMO Computer-mediated communication of structured knowledge Grenoble - Rhône-Alpes Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:15:39 Semantic Web Ontology Information science Knowledge representation Knowledge engineering Web Ontology Language Semantic similarity Description logic Resource Description Framework Knowledge representation and reasoning Ontology engineering Upper ontology
467	Evaluability Assessment: a systematic approach to deciding whether and how to evaluate programmes and policies Peter Craig and Mhairi Campbell What Works Scotland (WWS) aims to improve the way local areas in Scotland u Add to Reading List Source URL: whatworksscotland.ac.uk Language: English - Date: 2015-07-03 05:25:30 Evaluation Evaluation methods Evaluability assessment Methodology Theory of change Analysis Logic model Impact assessment Political science Impact evaluation Program evaluation
468	I NTRODUCTION A typed calculus of PRA Typing translation Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-05-13 11:20:35 Type theory Logic in computer science Proof theory Dependently typed programming
469	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field
470	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2016-03-01 11:02:40 Software engineering Computing Computer programming Logic in computer science Object-oriented programming languages Programming language semantics SCOOP Semantics Eiffel Operational semantics Concurrency Actor model

UPDATE